x86/32: Fix domain_relinquish_resources().
authorkfraser@localhost.localdomain <kfraser@localhost.localdomain>
Fri, 7 Sep 2007 18:53:57 +0000 (19:53 +0100)
committerkfraser@localhost.localdomain <kfraser@localhost.localdomain>
Fri, 7 Sep 2007 18:53:57 +0000 (19:53 +0100)
commit705f51e1718a95dda04415bfc88cac0613a5b685
tree2074e7ec9d704c4b92baf9cdc3fbbd514567536b
parent05cf544b87c791d183da579b6e9a6af06f2b93b8
x86/32: Fix domain_relinquish_resources().
Fixes a host crash on preempted domain_kill().
Signed-off-by: Keir Fraser <keir@xensource.com>
xen/arch/x86/domain.c